In lieu of an abstract, here is a brief excerpt of the content:Notes and Discussions Moore's Moral Rules Since the publication of Tom Regan's Bloomsbury'sProphet:G. E. Moore and the Development of His Moral Philosophy (Philadelphia: Temple University Press, 1986) a controversy has arisen concerning Moore's practical ethical theory. According to Regan, Moore was Bloomsbury's "liberator" whose Principia Ethica provided the rationale for ignoring the conventional rules of morality (except for "a very few") in favor of personal choice. This, says Regan, (...) is the "central thesis" of Principia. Against Regan's interpretation Avrum Stroll (JHP 26:3, July 1988: 5o4-5o5) insists that Regan's evidence is "exiguous" and that "a careful reading of [Principia's] Chapter 5 shows that Moore argues that.., we ought alwaysto follow the dictates of common morality." In a similar vein Thomas Baldwin (Mind, Jan. 1988:129-33 ) claims that Regan's thesis rests upon "a misreading of a passage in [Chapter 5 of] Principia Ethica" and yields an interpretation of Moore which asserts "the opposite" of what Moore actually says. In what follows I wish to examine the crucial passages of Principia to determine just what Moore's view is and whether Regan is indeed guilty of misreading. Because of the severe limitations regarding our knowledge of cause and effect, the most, according to Moore, that we can obtain in practical ethics, is knowledge that "one kind of action will generallyproduce better effects than another."' And this leads him to consider the justification of the rules of common morality. On pp. 162-63 Moore does say that of "any rule which is generally useful, we may assert that it ought alwaysto be observed... [and that] though we may be sure that there are cases where the rule should be broken, we can never know which those cases are, and ought, therefore, never to break it." But, as the text reveals, this assertion is preceded by the hypothesis "/f/t is certainthat in a large majority of cases the observance of a certain rule is useful" (162, emphasis added). Indeed, Moore's discussion on pp. 162-64 is focused explicitly on "those actions as to which some general rule is certainlytrue'' (162, emphasis added). So what sorts of rules are those? Moore has already said on p. 16o: "it seems possible to prove a definite utility in most of those which are in general both recognised and practised." And just which rules are both recognized and practiced? They are those which he frequently refers to as "the rules most universally recognised by Common G. E. Moore, PrincipiaEthica(Cambridge: Cambridge University Press, 1962), 155. Hereafter cited by page number alone. [595] 596 JOURNAL OF THE HISTORY OF PHILOSOPHY 98:4 OCTOBER 199 ~ Sense" (156-57). He says that for "most" of these their general utility can be "established " and is "capable of proof" (t 55-56). His examples are rules concerning murder, respect for property, industry, temperance, and keeping promises (156-57). ~ Now, assuming that what is established or capable of proof is, in Moore's parlance, "certain," and taking the moral rules of Common Sense to be roughly what Stroll means by "common morality," we can see that StroU's assertion that "Moore argues that.., we ought always to follow the dictates of common morality" is not quite correct. At most Moore seems to be saying that we ought always to follow the dictates of "most" of common morality. But even this is too strong, because Moore's phrase "the rules most universally recognised by Common Sense" suggests that Common Sense morality may include rules which are not "universally recognised," and hence, less than certain. Also, Moore says that "a great part of ordinary moral exhortation.., consists in the advocating of rules not generally practised." If Moore holds that common morality does indeed inclucJe a significant portion of rules which are neither universally recognized nor generally practiced, then even the claim that he argues that we ought always to follow most of its dictates seems questionable. As Regan observes, Moore goes on in Chapter 5 to say some things which confirm our doubts and make it very difficult to accept Strolrs assertion, even in its modified form. For Moore seems to say... (shrink)

Though broadly philosophical reflections on nature and our place within it can be tracked to antiquity, the development of the field of environmental ethics as a distinct sub-discipline within contemporary academic philosophy has a far shorter history. Its landmark moments include the 1968 publication of Lynn White Jr’s influential critique of Christianity’s environmental record “The Historical Roots of Our Ecologic Crisis,” J. Baird Callicott’s teaching of the world’s first course in environmental ethics in 1971 at the University of Wisconsin-Stevens Point, (...) the pathfinding papers “Is There a Need for a New, an Environmental, Ethic?” and “The Shallow and the Deep, Long-Range Ecology Movement: A Summary” by the.. (shrink)

Introduction 1. Perspectives on Wittgenstein: An Intermittently Opinionated Survey: Hans-Johann Glock. 2. Wittgenstein's Method: Ridding People of Philosophical Prejudices: Katherine Morris. 3. Gordon Baker's Late Interpretation of Wittgenstein: P. M. S. Hacker. 4. The Interpretation of the Philosophical Investigations: Style, Therapy, Nachlass: Alois Pichler. 5. Ways of Reading Wittgenstein: Observations on Certain Uses of the Word 'Metaphysics': Joachim Schulte. 6. Metaphysical/Everyday Use: A Note on a Late Paper by Gordon Baker: Hilary Putnam. 7. Wittgenstein and Transcendental Idealism: A. W. Moore. (...) 8. Simples and the Idea of Analysis in the Tractatus: Marie McGinn. 9. Words, Waxing and Waning: Ethics in/and/of the Tractatus Logico-Philosophicus: Stephen Mulhall. 10. The Uses of Wittgenstein's Beetle: Philosophical Investigations §293 and Its Interpreters: David G. Stern. 11. Bourgeois, Bolshevist or Anarchist?: The Reception of Wittgenstein's Philosophy of Mathematics: Ray Monk. 12. Wittgenstein and Ethical Naturalism: Alice Crary. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:178 Reviews c:\users\kenneth\documents\type3302\rj 33,2 113 red.docx 2014-01-15 10:04 THE EARLY MOORE AND RUSSELL Ray Perkins, Jr. Philosophy / Plymouth State U. Plymouth, nh 03264 1600, usa [email protected] G. E. Moore. Early Philosophical Writings. Edited and with an Introduction by Thomas Baldwin and Consuelo Preti. Cambridge and New York: Cambridge U. P., 2011. Pp. lxxxv, 251. isbn: 978-0521190145. £68.00; us$114.00. aldwin and Preti have put together a very nice book (...) which gives us G. E. Moore’s 1897 and 1898 Trinity College dissertations and an informative look at the historical context in which they were written. This story—including information about Moore’s early life, the philosophical influences at Cambridge and a critical commentary on his dissertations and readers’ reports— is clearly and carefully presented in their 78-page introduction.1 The book is a valuable addition to the history of analytic philosophy and will be of special interest to Moore (and Russell) scholars and to historians generally who wish to know more about the genesis of the ideas shaping the new analytic philosophy at the end of the century. Moore entered Trinity in 1892 to study classics. There he met Russell (who was in his third year) and took his advice to study philosophy in his last two years and take his final exams (Tripos, Part ii) in both disciplines, which he did successfully in 1896. And like Russell—who had won a Trinity prize fellowship in 1895 (with a dissertation on the foundations of geometry2 ) only one year after his graduation—he submitted a dissertation (1897) in hopes of winning a prize fellowship. Moore’s first attempt failed, but his 1898 version was successful. And not only did the success of the 1898 dissertation launch Moore’s career as a professional philosopher, it also paved the way for the new analytic philosophy of the next century. Moore’s dissertations and his Trinity examiners’ reports (by Caird, Sidgwick, Ward and Bosanquet3 ) are fascinating reading, and it’s a great convenience to have them handy in a single volume. But the editors deserve special 1 Hereafter I shall use the editors’ convention of referring to the pagination of their introduction with roman numerals and to Moore’s dissertations (plus examiners’ reports) with arabic numerals. 2 Russell’s dissertation was published in 1897 as An Essay on the Foundations of Geometry. 3 Edward Caird was an idealist and highly respected Kant scholar at Oxford. Henry Sidgwick was one of Moore’s teachers at Cambridge and author of the influential _= Reviews 179 c:\users\kenneth\documents\type3302\rj 33,2 113 red.docx 2014-01-15 10:04 praise for not only giving the reader an astute critical summary of the dissertations, but also for their skillful reconstruction of Moore’s surviving, but incomplete, 1898 manuscript from which parts of the early chapters had been removed. The editors make a good case (pp. lxxv–lxxix) that those pages became the basis of Moore’s 1899 Mind article, “The Nature of Judgment”. (Those familiar with Russell’s early work may recall it as an article that Russell claimed as of paramount importance for his own early work.4 I’ll return to the question of Russell and Moore and this article’s significance.) the dissertations, 1897 and 1898 Moore’s dissertations reveal a young Moore with remarkable powers of analysis and more than a hint of the careful, courageous scepticism and intellectual honesty for which he later became known. But as the editors make clear, their main importance is the record they reveal of the transition away from Kant and Hegel to the new philosophy, which put a premium on conceptual analysis and metaphysics without Kantian or neo-Hegelian idealism. The 1897 dissertation (“The Metaphysical Basis of Ethics”) is an analysis of the basic concepts of ethics with considerable critical discussion of Kant, especially concerning freedom and reason, and Moore’s attempt to fashion his own good-based ethics utilizing a little from Kant and much from Bradley (p. l). At this time both Moore and Russell were still under the influence of Kant... (shrink)

The thesis that scientists give greater weight to novel predictions than to explanations of known facts is tested against historical cases in physical science. Several theories were accepted after successful novel predictions but there is little evidence that extra credit was given for novelty. Other theories were rejected despite, or accepted without, making successful novel predictions. No examples were found of theories that were accepted primarily because of successful novel predictions and would not have been accepted if those facts had (...) been previously known. (shrink)

This essay traces the interlinked origins of two concepts found in Charles Darwin's writings: "unconscious selection," and sexual selection as applied to humanity's anatomical race distinctions. Unconscious selection constituted a significant elaboration of Darwin's artificial selection analogy. As originally conceived in his theoretical notebooks, that analogy had focused exclusively on what Darwin later would call "methodical selection," the calculated production of desired changes in domestic breeds. By contrast, unconscious selection produced its results unintentionally and at a much slower pace. Inspiration (...) for this concept likely came from Darwin's early reading of works on both animal breeding and physical ethnology. Texts in these fields described the slow and unplanned divergence of anatomical types, whether animal or human, under the guidance of contrasting ideals of physical perfection. These readings, it is argued, also led Darwin to his theory of sexual selection as applied to race, a theme he discussed mainly in his book The Descent of Man. There Darwin described how the racial version of sexual selection operated on the same principle as unconscious selection. He thereby effectively reunited these kindred concepts. (shrink)

We investigate the provability or nonprovability of certain ordinary mathematical theorems within certain weak subsystems of second order arithmetic. Specifically, we consider the Cauchy/Peano existence theorem for solutions of ordinary differential equations, in the context of the formal system RCA 0 whose principal axioms are ▵ 0 1 comprehension and Σ 0 1 induction. Our main result is that, over RCA 0 , the Cauchy/Peano Theorem is provably equivalent to weak Konig's lemma, i.e. the statement that every infinite {0, 1}-tree (...) has a path. We also show that, over RCA 0 , the Ascoli lemma is provably equivalent to arithmetical comprehension, as is Osgood's theorem on the existence of maximum solutions. At the end of the paper we digress to relate our results to degrees of unsolvability and to computable analysis. (shrink)

A mass problem is a set of Turing oracles. If P and Q are mass problems, we say that P is weakly reducible to Q if every member of Q Turing computes a member of P. We say that P is strongly reducible to Q if every member of Q Turing computes a member of P via a fixed Turing functional. The weak degrees and strong degrees are the equivalence classes of mass problems under weak and strong reducibility, respectively. We (...) focus on the countable distributive lattices P w and P s of weak and strong degrees of mass problems given by nonempty Π 1 0 subsets of 2 ω . Using an abstract Gödel/Rosser incompleteness property, we characterize the Π 1 0 subsets of 2 ω whose associated mass problems are of top degree in P w and P s , respectively. Let R be the set of Turing oracles which are random in the sense of Martin-Löf, and let r be the weak degree of R. We show that r is a natural intermediate degree within P w . Namely, we characterize r as the unique largest weak degree of a Π 1 0 subset of 2 ω of positive measure. Within P w we show that r is meet irreducible, does not join to 1, and is incomparable with all weak degrees of nonempty thin perfect Π 1 0 subsets of 2 ω . In addition, we present other natural examples of intermediate degrees in P w . We relate these examples to reverse mathematics, computational complexity, and Gentzen-style proof theory. (shrink)

An examination of verbal hallucinations and thought insertion as examples of "alienated self-consciousness.".

Let ω be the set of natural numbers. For functions f, g: ω → ω, we say f is dominated by g if f < g for all but finitely many n ∈ ω. We consider the standard “fair coin” probability measure on the space 2ω of in-finite sequences of 0's and 1's. A Turing oracle B is said to be almost everywhere dominating if, for measure 1 many X ∈ 2ω, each function which is Turing computable from X is (...) dominated by some function which is Turing computable from B. Dobrinen and Simpson have shown that the almost everywhere domination property and some of its variant properties are closely related to the reverse mathematics of measure theory. In this paper we exposit some recent results of Kjos-Hanssen, Kjos-Hanssen/Miller/Solomon, and others concerning LR-reducibility and almost everywhere domination. We also prove the following new result: If B is almost everywhere dominating, then B is superhigh, i. e., 0″ is truth-table computable from B ′, the Turing jump of B. (shrink)

This paper examines Charles Darwin’s idea that language-use and humanity’s unique cognitive abilities reinforced each other’s evolutionary emergence—an idea Darwin sketched in his early notebooks, set forth in his Descent of man , and qualified in Descent’s second edition. Darwin understood this coevolution process in essentially Lockean terms, based on John Locke’s hints about the way language shapes thinking itself. Ironically, the linguist Friedrich Max Müller attacked Darwin’s human descent theory by invoking a similar thesis, the German romantic notion of (...) an identity between language and thought. Although Darwin avoided outright contradiction, when he came to defend himself against Müller’s attacks, he undercut some of his own argumentation in favor of the coevolution idea. That is, he found it difficult to counter Müller’s argument while also making a case for coevolution. Darwin’s efforts in this area were further complicated by British and American writers who held a naturalistic view of speech origins yet still taught that language had been invented by fully evolved homo sapiens, thus denying coevolution. (shrink)

We investigate the reverse-mathematical status of several theorems to the effect that the natural number system is second-order categorical. One of our results is as follows. Define a system to be a triple A,i,f such that A is a set and i∈A and f:A→A. A subset X⊆A is said to be inductive if i∈X and ∀a ∈X). The system A,i,f is said to be inductive if the only inductive subset of A is A itself. Define a Peano system to be (...) an inductive system such that f is one-to-one and i∉the range of f. The standard example of a Peano system is N,0,S where N={0,1,2,…,n,…}=the set of natural numbers and S:N→N is given by S=n+1 for all n∈N. Consider the statement that all Peano systems are isomorphic to N,0,S. We prove that this statement is logically equivalent to WKL0 over RCA0⁎ source. From this and similar equivalences we draw some foundational/philosophical consequences. (shrink)

This paper examines the way Charles Darwin applied his domestic breeding analogy to the practical workings of species evolution: that application, it is argued, centered on Darwin's distinction between methodical and unconscious selection. Methodical selection, which entailed pairing particular individuals for mating purposes, represented conditions of strict geographic isolation, obviously useful for species multiplication (speciation). By contrast, unconscious selection represented an open landmass with a large breeding population. Yet Darwin held that this latter scenario, which often would include multiple ecological (...) subdistricts and thus partial isolation, was better suited for speciation than were isolated conditions. At the same time, many passages in Darwin's writings that apparently portrayed phyletic evolution exclusively (these including references to unconscious selection), actually applied to speciation as well, for phyletic change in a single district could constitute a local manifestation of a larger common-descent pattern. This generic use of "phyletic" change was reflected in Darwin's deployment of the unconscious selection analogy in his published writings as well as in his dispute with Moritz Wagner over the necessity of geographic isolation for speciation. We can thus understand Darwin's otherwise puzzling declaration in The Origin of Species that unconscious selection was 'more important' than the methodical approach. (shrink)

Higher order unification is a way of combining information (or equivalently, solving equations) expressed as terms of a typed higher order logic. A suitably restricted form of the notion has been used as a simple and perspicuous basis for the resolution of the meaning of elliptical expressions and for the interpretation of some non-compositional types of comparative construction also involving ellipsis. This paper explores another area of application for this concept in the interpretation of sentences containing intonationally marked focus, or (...) various semantic constructs which are sensitive to focus.Similarities and differences between this approach, and theories using alternative semantics, structured meanings, or flexible categorial grammars, are described. The paper argues that the higher order unification approach offers descriptive advantages over these alternatives, as well as the practical advantage of being capable of fairly direct computational implementation. (shrink)

Let CKDT be the assertion that for every countably infinite bipartite graph G, there exist a vertex covering C of G and a matching M in G such that C consists of exactly one vertex from each edge in M. (This is a theorem of Podewski and Steffens [12].) Let ATR0 be the subsystem of second-order arithmetic with arithmetical transfinite recursion and restricted induction. Let RCA0 be the subsystem of second-order arithmetic with recursive comprehension and restricted induction. We show that (...) CKDT is provable in ART0. Combining this with a result of Aharoni, Magidor, and Shore [2], we see that CKDT is logically equivalent to the axioms of ATR0, the equivalence being provable in RCA0. (shrink)

By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...) in the second-order part of M. By combining this fact with a certain forcing argument over universal trees, we obtain the following result : if proves X!Y with arithmetical, so does . We also discuss several improvements of this results. (shrink)

In this paper, we introduce a system of nonstandard second-order arithmetic $\mathsf{ns}$-$\mathsf{WWKL_0}$ which consists of $\mathsf{ns}$-$\mathsf{BASIC}$ plus Loeb measure property. Then we show that $\mathsf{ns}$-$\mathsf{WWKL_0}$ is a conservative extension of $\mathsf{WWKL_0}$ and we do Reverse Mathematics for this system.

We examine the concept of almost everywhere domination from the viewpoint of mass problems. Let AED and MLR be the sets of reals which are almost everywhere dominating and Martin-Löf random, respectively. Let b1, b2, and b3 be the degrees of unsolvability of the mass problems associated with AED, MLR × AED, and MLR ∩ AED, respectively. Let [MATHEMATICAL SCRIPT CAPITAL P]w be the lattice of degrees of unsolvability of mass problems associated with nonempty Π01 subsets of 2ω. Let 1 (...) and 0 be the top and bottom elements of [MATHEMATICAL SCRIPT CAPITAL P]w. We show that inf, inf, and inf belong to [MATHEMATICAL SCRIPT CAPITAL P]w and 0 < inf < inf < inf < 1. Under the natural embedding of the recursively enumerable Turing degrees into [MATHEMATICAL SCRIPT CAPITAL P]w, we show that inf and inf but not inf are comparable with some recursively enumerable Turing degrees other than 0 and 0′. In order to make this paper more self-contained, we exposit the proofs of some recent theorems due to Hirschfeldt, Miller, Nies, and Stephan. (shrink)

The evidence-based medicine movement advocates basing all medical decisions on certain types of quantitative research data and has stimulated protracted controversy and debate since its inception. Evidence-based medicine presupposes an inaccurate and deficient view of medical knowledge. Michael Polanyi’s theory of tacit knowledge both explains this deficiency and suggests remedies for it. Polanyi shows how all explicit human knowledge depends on a wealth of tacit knowledge which accrues from experience and is essential for problem solving. Edmund Pellegrino’s classic treatment of (...) clinical judgment is examined, and a Polanyian critique of this position demonstrates that tacit knowledge is necessary for understanding how clinical judgment and medical decisions involve persons. An adequate medical epistemology requires much more qualitative research relevant to the clinical encounter and medical decision making than is currently being done. This research is necessary for preventing an uncritical application of evidence-based medicine by health care managers that erodes good clinical practice. Polanyi’s epistemology shows the need for this work and provides the structural core for building an adequate and robust medical epistemology that moves beyond evidence-based medicine. (shrink)

The "new family" of disciples was formed by faith and commitment and included those who had traditionally been outsiders. Similarly, Christian ethics can support the bonding in covenant love of nonbiological families brought together by sometimes painful circumstances that can be redeemed by their actions. While the Christian tradition is supportive of the idea that birth parents should rear their children, it also relativizes the biological family by adding meaning to adoption. This is a creative tension.

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Stephen Salkever shows that reading Aristotle is a starting point for discussing contemporary political problems in new ways that avoid the opposition between liberal individualism and republican communitarianism, between the politics of rights and the politics of virtues. Originally published in 1990. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in (...) durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)